/*
  The <out_buffer.h> header file defines some buffering functions to be used for outputting data
 */

#ifndef _OUT_BUFFER_H
#define _OUT_BUFFER_H

#include <types.h>

/* Buffer size */
#define OB_SIZE  8192

extern void ob_clear(void);
extern void ob_submit(void);
extern int ob_enqueue(int n);

#endif /* _OUT_BUFFER_H */
